نصب اپلیکیشن

صفحه رسمی مای درس

اطلاع از آخرین تغییرات، جوایز و مسابقات مای درس
دنبال کردن

بخش پذیری در Z

پاسخ تایید شده
2 ماه قبل
0
[شاه کلید مای درس] | بخش پذیری در Z
bookmark_border دوازدهم ریاضی
book ریاضیات گسسته
bookmarks فصل 1 : آشنایی با نظریۀ اعداد
2 ماه قبل
0

بخش پذیری در Z

به بيان دقيق مفهوم (بخش پذيری) در اعداد صحيح توجه کنيد:

بخش پذيری

فرض کنید a و \(b \ne 0\)  عددهایی صحیح باشند.

عدد a را بر b(بخش پذير) گوييم، هرگاه عدد صحيح k يافت شود كه \(a = bk\)  در این صورت می نویسیم: \(b|a\)

برای نمونه

داریم: \(4| - 12\) ، زیرا عدد \( - 12\) را می توان به صورت \(4( - 3)\)  نوشت.

عبارت \(b|a\)  به صورت b عاد می کند a را يا b عدد a را می شمارد، خوانده می شود. (b یک شمارنده یا مقسوم علیه a است.)

خواص مقدماتی

تمام اعداد بر 1 و \( - 1\) بخش پذير هستند؛ يعنی همواره: \( \pm 1|a\)

زیرا

\(a = 1 \times a \to 1|a,a = - 1 \times ( - a) \to - 1|a\)

تمام اعداد صحيح، عدد صفر را عاد می کنند، زيرا \(0 = a \times 0\)  به عبارت دیگر؛ صفر تنها عددی است که بر تمام اعداد بخش پذير است، يعنی همواره، \(a|0\) .

هيچ عددی بر صفر بخش پذير نيست. ولی چون تساوی \(0 = 0 \times k\)  برای هر عدد صحیح k برقرار است، خواهیم داشت \(0|0\)  بنابراین:

\(0|a \Rightarrow a = 0\)

يعنی عدد صفر فقط خودش را عاد می کند.

 

هر عددی بر خودش بخش پذير است؛ زيرا:

\(a = a \times 1 \Rightarrow a|a\)

به صورت مشابه، موارد \(a| - a\)  و \( - a|a\)  نيز درست هستند. يعنی \( \pm a| \pm a\)

مثال

1 نشان می دهيم برای هر عدد طبيعی n داريم:

\(a|{a^n}\)

در حالت \(n = 1\) ، رابطه ی بدیهی \(a|a\)  را داريم که درست است. اگر \(n\rangle 1\)  باشد، در این صورت:

\({a^n} = a \times {a^n} - 1 \to {a^n} = ak \Rightarrow a|{a^n}\)

 

2 نشان می دهيم اگر \(a|b\) ، آنگاه برای هر عدد طبیعی n داریم:

\({a^n}|{b^n}\)

حالت \(n = 1\)  بدیهی است. اگر \(n\rangle 1\)  باشد، چون \(b = ak\)  است، در این صورت:

\(bn = {\left( {ak} \right)^n} = {a^n} \times {k^n} \to {k^n} = k' \to {b^n} = {a^n}k' \Rightarrow {a^n}|{b^n}\)

يادآوری يک مفهوم بسيار پرکاربرد در مبحث نظريه اعداد:

عدد اول

عدد طبیعی \(p\rangle 1\)  را اول گوییم. هرگاه غير از 1 و خودش هيچ مقسوم عليه مثبتی نداشته باشد. بنابراين، اگر p عددی اول باشد:

\(a|p \Rightarrow a = \pm 1,a = \pm p\)

ساير اعداد طبيعی بزرگ تر از يک را (مركب) گوييم. بنابراين:

عدد ١ نه اول است و نه مركب.

در ادامه ويژگی های اصلی شمارش، دليل هر کدام و برخی کاربردهای آنها را ببينيد.

1) اگر a عدد b را عاد کند، aهر مضربd  از b را نيز عاد می کند؛ يعنی برای هر عدد صحيح m :

\(a|b \Rightarrow a|bm\)

برای نمونه؛

\(5|10 \Rightarrow 5|20,5| - 10,5|50,...\)

2) شمارش، خاصيت تعدی دارد. يعنی اگر a بر b و b بر c بخش پذير باشد، آنگاه:a بر c بخش پذير است.

با صورت نمادين

\(c|b \wedge b|a \Rightarrow c|a\)

برای نمونه؛

از این که \(6|12\)  و \(12|48\)  می توان نتیجه گرفت: \(6|48\)

برای عددهای صحيح a و b ، با توجه به تجزيه ی عبارت های \({a^n} \pm {b^n}\)

\(\begin{array}{l}{a^n} - {b^n} = (a - b)({a^{n - 1}} + {a^{n - 2}}b + ... + a{b^{n - 2}} + {b^{n - 1}})\\{a^n} + {b^n} = (a + b)({a^{n - 1}} + {a^{n - 2}}b + ... - a{b^{n - 2}} + {b^{n - 1}})\end{array}\)

همواره رابطه ی \(a - b|{a^n} - {b^n}\)  برقرار است.

3) اين ويژگی به صورت زير بيان می شود:

اگر دو عدد بر عددی بخش پذير باشند، آنگاه جمع و تفريق آنها هم بر آن عدد بخش پذير است.

با نماد رياضی:

\(a|b \wedge a|c \Rightarrow a|b \pm c\)

4) اگر داشته باشيم \(a|b\)  و \(b \ne 0\)  باشد، آنگاه \(\left| a \right| \le \left| b \right|\)  به صورت نمادین:

\(a|b \wedge b \ne 0 \Rightarrow \left| a \right| \le \left| b \right|\)

به بیان ساده؛ يک عدد مثبت نمی تواند بر عددهای بزرگتر از خود بخش پذير باشد. زیرا:

طبق فرض، عدد \(k \in \mathbb{Z} - \{ 0\} \)  هست که \(b = ak\)  در نتیجه:

\(\left| b \right| = \left| a \right|\left| k \right| \to \left| k \right| \ge 1 \to \left| b \right| \ge \left| a \right|\)

مثال

1 نشان دهید مربع هر عدد فرد به صورت \(8K + 1\)  است.

فرض کنید n عددی فرد باشد، پس؛ \(n = 2q + 1\)  و خواهیم داشت:

\({n^2} = {\left( {2q + 1} \right)^2} = 4{q^2} + 4q + 1 = 4q\left( {q + 1} \right) + 1 \to q\left( {q + 1} \right) = 2k \to 8k + 1\)

بيان مهم ديگری از حکم اين مثال چنين است:

(باقی مانده ی تقسيم مربع هر عدد فرد بر 8 برابر 1 است.)

2 نشان دهید اگر k عددی زوج باشد، \({k^3} - 4k\)  همواره مضرب 48 است.

می نویسیم \(k = 2n\)  و طبق خاصیت گفته شده برای ضرب 3 عدد متوالی:

\({k^3} - 4k = {\left( {2n} \right)^3} - 4\left( {2n} \right) = 8{n^3} - 8n = 8n\left( {{n^2} - 1} \right) = 8n\left( {n - 1} \right)\left( {n + 1} \right) \to n\left( {n - 1} \right)\left( {n + 1} \right) = 6q \to 8n\left( {n - 1} \right)\left( {n + 1} \right) = 48q\)

قضیه تقسیم

در تقسيم عدد صحيح a بر عدد طبيعی b ، اعداد صحيح و يكتای q و r وجود دارند که:

\(\begin{array}{l}a = bq + r\\0 \le r\langle b\end{array}\)

عددهای q و r به ترتيب (خارج قسمت) و (باقيمانده) تقسيم a بر b نام دارند.

در تقسيم a بر b همواره می توان:

خارج قسمت را توسط جزء صحيح \(q = \left[ {\frac{a}{b}} \right]\)  و سپس؛ باقيمانده را از رابطه ی \(r = a - bq\)  به دست آورد.

دسته بندی اعداد صحیح

فرض کنید \(m\rangle 1\)  عدد طبيعی ثابتی باشد. عدد صحيح دلخواه a را در نظر گرفته و آن را بر m تقسيم می کنيم:

\(\begin{array}{l}a = mk + r\\r = 0,1,2,...,m - 1\end{array}\)

می بينيد که می توان عددهای صحيح را بر حسب باقيمانده تقسيم بر m در يک مجموعه قرار داد.

اگر باقيمانده صفر باشد، عددها به صورت زير هستند:

\(a = mk,k \in \mathbb{Z}\)

مجموعه ی تمام اين نوع اعداد را با \({[0]_m}\)  نشان می دهیم:

\({[0]_m} = \{ mk|k \in \mathbb{Z}\} \)

اگر باقيمانده ی تقسيم برابر 1 شود، عددها به اين صورت هستند:

\({[1]_m} = \{ mk + 1|k \in \mathbb{Z}\} \)

ساير عددهای صحيح نيز به يکی از صورت های زير خواهند بود:

\(\begin{array}{l}{[2]_m} = \{ mk + 2|k \in \mathbb{Z}\} \\{[3]_m} = \{ mk + 3|k \in \mathbb{Z}\} \\.\\.\\{[m - 1]_m} = \{ mk + m - 1|k \in \mathbb{Z}\} \end{array}\)

بنابراين:

با انتخاب عدد طبيعی m ، مجموعه ی  \(\mathbb{Z}\) دقيقاً به تعداد m زير مجموعه افراز می شود:

\({[0]_m},{[1]_m},{[2]_m},...,{[m - 1]_m}\)

یعنی

  1. اين مجموعه ها هيچکدام تهی نيستند.
  2. دو به دو اشتراک ندارند.
  3. هر عدد صحيح در يکی از آنها جای دارد.

هر عدد صحيح a بر حسب عدد طبيعی m به يكی از صورت های زير قابل نوشتن است:

\(mk,mk + 1,mk + 2,...,mk + m - 1\)

مثال

نشان دهيد برای عدد صحيح فرد a ، عدد \({a^4}\)  به صورت \(16k + 1\)  است.

می دانیم که كه مربع هر عدد فرد به صورت \(8k + 1\)  ست، پس می توان نوشت:

\(a4 = {({a^2})^2} = {(8k + 1)^2} = 64{k^2} + 16k + 1 = 16(4{k^2} + k) + 1\)

ثابت کنيد اگر \(p \ge 5\)  عددی اول باشد، آنگاه به يکی از دو صورت \(p = 4k + 1\)  یا \(p = 4k + 3\)  نوشته می شود.

عدد p در تقسيم بر 4 به يكی از چهار حالت زير است:

\(4k,4k + 1,4k + 2,4k + 3\)

در دو حالت زير،p  اول نيست:

\(p = 4k:\)

چون p بر 2 بخش پذير است.

\(p = 4k + 2:\)

در اين صورت \(p = 2(2k + 1)\)  بوده و باز هم بر 2 بخش پذير است.

در نتيجه:

 p فقط می تواند به صورت \(4k + 1\)  یا \(4k + 3\)  باشد.

تهیه کننده: علیرضا نورالدّینی 


سایر مباحث این فصل